FIncr $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$f$ $\mid$ $i$:$\mathbb{N}$ $\rightarrow$ if $i$=$_{2}$0$\rightarrow$ $\mathbb{Z}$ else \{$f$($i$$-$1)$\ldots\,$\} fi\}